-
1 непротиворечивая формализация
Большой англо-русский и русско-английский словарь > непротиворечивая формализация
-
2 consistent formalization
Англо-русский словарь по исследованиям и ноу-хау > consistent formalization
-
3 consistent formalization
Большой англо-русский и русско-английский словарь > consistent formalization
-
4 consistent formalization
Математика: непротиворечивая формализацияУниверсальный англо-русский словарь > consistent formalization
-
5 consistent formalization
English-Russian scientific dictionary > consistent formalization
См. также в других словарях:
ФОРМАЛИЗАЦИЯ — (от лат. forma вид, образ) отображение объектов некоторой предметной области с помощью символов к. л. языка. Простейший вид Ф. прямая репрезентация (обозначение, именование, описание) объектов с помощью терминов. Напр., в естественном языке роль… … Философская энциклопедия
Метаматематика — теория доказательств, теория доказательства, в широком смысле слова Метатеория математики, не предполагающая никаких специальных ограничений на характер используемых метатеоретических методов, на способ задания и объём исследуемой в М.… … Большая советская энциклопедия
АКСИОМАТИЧЕСКИЙ МЕТОД — способ построения научной теории, при к ром в основу теории кладутся нек рые исходные положения, наз. аксиомами теории, а все остальные предложения теории получаются как логич. следствия аксиом. В математике А. м. зародился в работах… … Математическая энциклопедия
Аксиоматический метод — способ построения научной теории, при котором в её основу кладутся некоторые исходные положения (суждения) аксиомы (См. Аксиома), или Постулаты, из которых все остальные утверждения этой науки (теоремы (См. Теорема)) должны выводиться… … Большая советская энциклопедия
ГИЛЬБЕРТ — (Hubert) Давид (род. 23 янв. 1862, Кенигсберг – ум. 14 февр. 1943, Гёттинген) – нем. математик и логик, профессор в Гёттингене с 1895 по 1936. Создал основополагающие работы по аксиоматике геометрии, арифметики и физики, в которых пытался… … Философская энциклопедия
ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… … Философская энциклопедия
НЕПРОТИВОРЕЧИВОСТЬ — свойство формальной системы, состоящее в том, что не каждая формула этой системы доказуема в ней. Формальные системы, обладающие этим свойством, наз. непротиворечивым и, или формально непротиворечивым и. В противном случае формальная система наз … Математическая энциклопедия